61. Designing efficient algorithms for parallel computers
پدیدآورنده: Michael J. Quinn
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Parallel programming )Computer science(,Computer algorithms
رده :
QA
76
.
5
.
Q56
1987
62. Designing efficient algorithms for parallel computers
پدیدآورنده: Quinn, Michael J. )Michael Jay(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Parallel programming )Computer science(,، Computer algorithms
رده :
QA
76
.
5
.
Q56
1987
63. Domain-specific program generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
پدیدآورنده: Christian Lengauer... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Generative programming )Computer science(,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3016
64. ESOP '88
پدیدآورنده: H. Ganzinger, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming-- Congresses.,Programming languages (Electronic computers)-- Congresses.
رده :
QA76
.
6
.
E976
1988
65. Elixir in Action, Second Edition /
پدیدآورنده: Juric, Sasa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computers-- Languages-- General.,Computers-- Programming-- Parallel.,Parallel Programming (Computer Science),Programming Languages (Electronic Computers)
66. Euro-Par 2011
پدیدآورنده: Michael Alexander ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses,Parallel programming (Computer science), Congresses
رده :
QA76
.
58
.
I553
2011eb
67. Euro-Par 2015
پدیدآورنده: \ [Edited by] Sascha Hunold...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Parallel processing (Electronic computers) -- Congresses.,Parallel programming (Computer science) -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,پردازش موازی -- کنگره ها ,برنامه‌نویسی موازی -- کنگره ها ,داده‌پردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
58
.
E92
2015
E-Book
,
68. Euro-Par 2015
پدیدآورنده: \ esper Larsson Träff, Sascha Hunold, Francesco Versaci (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Parallel processing (Electronic computers) -- Congresses,Parallel programming (Computer science) -- Congresses,Electronic data processing -- Distributed processing -- Congresses,پردازش موازی -- کنگره ها,برنامه‌نویسی موازی -- کنگره ها,داده‌پردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
58
.
I58
E92
2015
E-Book
,
69. Euro-Par 2018 :
پدیدآورنده: edited by Gabriele Mencagli, Dora B. Heras et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I58
2018eb
70. Evolution of parallel cellular machines : the cellular programming approach
پدیدآورنده: Sipper, Moshe
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Parallel computers,، Cellular automata,، Array processors
رده :
QA
76
.
L28
Vol
.
1194
71. Fairness
پدیدآورنده: Francez, Nissim.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
F7226
1986
72. Fairness
پدیدآورنده: Francez, Nissim
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
F72
1986
73. Fairness
پدیدآورنده: / Nissim Francez
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming,Programming languages (Electronic computers) -- Semantics,Parallel processing (Electronic computers)
رده :
QA
76
.
6
.
F7226
1986
74. Formal Methods and Software Development :
پدیدآورنده: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
75. Formal models, languages and applications /
پدیدآورنده: editors, K.G. Subramanian, K. Rangarajan, M. Mukund.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Compilers (Computer programs),Computational complexity.,Formal languages.,Compilers (Computer programs),Computational complexity.,COMPUTERS-- Programming Languages-- General.,Formal languages.
رده :
QA267
.
3
.
F698
2006eb
76. Fortran 2018 with parallel programming /
پدیدآورنده: Subrata Ray
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: FORTRAN (Computer program language),Parallel programming (Computer science),COMPUTERS-- Computer Engineering.,COMPUTERS-- Computer Graphics-- Game Programming & Design.,COMPUTERS-- Programming Languages-- General.,FORTRAN (Computer program language),Parallel programming (Computer science)
رده :
QA76
.
73
.
F25
R39
2020eb
77. From Astrophysics to Unconventional Computation :
پدیدآورنده: editors, Andrew Adamatzky and Vivien Kendon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational intelligence.,Soft computing.,Computational intelligence.,COMPUTERS / General.,Soft computing.
رده :
QA76
.
9
.
S63
78. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
رده :
QA
76
.
6
.
F853
1993
79. Fundamentals of digital logic and microcomputer design /
پدیدآورنده: M. Rafiquzzaman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic digital computers-- Circuits.,Logic circuits.,Microcomputers-- Design and construction.
رده :
TK7888
.
4
.
R34
2005
80. Fundamentals of parallel multicore architecture
پدیدآورنده: Solihin, Yan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Multiprocessors,، Computer architecture,، Parallel processing )Electronic computers(,، Parallel programming )Computer science(
رده :
QA
76
.
5
.
S65F8
